home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 99%
| dexvert
| Texinfo Document (document/texInfo)
| magic
| Supported |
| 1%
| dexvert
| DirectMusic Style (music/directMusicStyle)
| ext
| Unsupported |
| 1%
| dexvert
| Microsoft Word Style Sheet (other/microsoftWordStyleSheet)
| ext
| Unsupported |
| 1%
| dexvert
| KORG File (other/korgFile)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| TeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 0a 25 25 20 54 | 68 69 73 20 69 73 20 66 |%% .%% T|his is f|
|00000010| 69 6c 65 20 60 74 68 6d | 62 2e 73 74 79 27 2c 20 |ile `thm|b.sty', |
|00000020| 67 65 6e 65 72 61 74 65 | 64 20 0a 25 25 20 6f 6e |generate|d .%% on|
|00000030| 20 3c 31 39 39 35 2f 33 | 2f 34 3e 20 77 69 74 68 | <1995/3|/4> with|
|00000040| 20 74 68 65 20 64 6f 63 | 73 74 72 69 70 20 75 74 | the doc|strip ut|
|00000050| 69 6c 69 74 79 20 28 32 | 2e 32 69 29 2e 0a 25 25 |ility (2|.2i)..%%|
|00000060| 20 0a 25 25 20 54 68 65 | 20 6f 72 69 67 69 6e 61 | .%% The| origina|
|00000070| 6c 20 73 6f 75 72 63 65 | 20 66 69 6c 65 73 20 77 |l source| files w|
|00000080| 65 72 65 3a 0a 25 25 20 | 0a 25 25 20 74 68 65 6f |ere:.%% |.%% theo|
|00000090| 72 65 6d 2e 64 74 78 20 | 20 28 77 69 74 68 20 6f |rem.dtx | (with o|
|000000a0| 70 74 69 6f 6e 73 3a 20 | 60 74 68 6d 62 27 29 0a |ptions: |`thmb').|
|000000b0| 25 25 20 0a 25 25 20 49 | 4d 50 4f 52 54 41 4e 54 |%% .%% I|MPORTANT|
|000000c0| 20 4e 4f 54 49 43 45 3a | 20 0a 25 25 20 54 68 69 | NOTICE:| .%% Thi|
|000000d0| 73 20 66 69 6c 65 20 69 | 73 20 70 61 72 74 20 6f |s file i|s part o|
|000000e0| 66 20 74 68 65 20 60 74 | 6f 6f 6c 73 27 20 62 75 |f the `t|ools' bu|
|000000f0| 6e 64 6c 65 20 0a 25 25 | 20 69 6e 20 74 68 65 20 |ndle .%%| in the |
|00000100| 4c 61 54 65 58 32 65 20 | 64 69 73 74 72 69 62 75 |LaTeX2e |distribu|
|00000110| 74 69 6f 6e 2e 20 0a 25 | 25 20 0a 25 25 20 59 6f |tion. .%|% .%% Yo|
|00000120| 75 20 61 72 65 20 6e 6f | 74 20 61 6c 6c 6f 77 65 |u are no|t allowe|
|00000130| 64 20 74 6f 20 64 69 73 | 74 72 69 62 75 74 65 20 |d to dis|tribute |
|00000140| 74 68 69 73 20 66 69 6c | 65 2e 20 0a 25 25 20 46 |this fil|e. .%% F|
|00000150| 6f 72 20 64 69 73 74 72 | 69 62 75 74 69 6f 6e 20 |or distr|ibution |
|00000160| 6f 66 20 74 68 65 20 6f | 72 69 67 69 6e 61 6c 20 |of the o|riginal |
|00000170| 73 6f 75 72 63 65 20 73 | 65 65 20 0a 25 25 20 74 |source s|ee .%% t|
|00000180| 68 65 20 63 6f 70 79 72 | 69 67 68 74 20 6e 6f 74 |he copyr|ight not|
|00000190| 69 63 65 20 69 6e 20 74 | 68 65 20 73 6f 75 72 63 |ice in t|he sourc|
|000001a0| 65 20 66 69 6c 65 2c 20 | 61 6e 64 20 0a 25 25 20 |e file, |and .%% |
|000001b0| 69 6e 20 74 68 65 20 66 | 69 6c 65 20 72 65 61 64 |in the f|ile read|
|000001c0| 6d 65 2e 74 78 74 20 64 | 69 73 74 72 69 62 75 74 |me.txt d|istribut|
|000001d0| 65 64 20 77 69 74 68 20 | 74 68 65 20 0a 25 25 20 |ed with |the .%% |
|000001e0| 74 6f 6f 6c 73 20 62 75 | 6e 64 6c 65 2e 20 0a 25 |tools bu|ndle. .%|
|000001f0| 25 20 0a 5c 64 65 66 5c | 66 69 6c 65 76 65 72 73 |% .\def\|filevers|
|00000200| 69 6f 6e 7b 76 32 2e 32 | 61 7d 0a 5c 64 65 66 5c |ion{v2.2|a}.\def\|
|00000210| 66 69 6c 65 64 61 74 65 | 7b 31 39 39 34 2f 30 32 |filedate|{1994/02|
|00000220| 2f 30 33 7d 0a 5c 64 65 | 66 5c 64 6f 63 64 61 74 |/03}.\de|f\docdat|
|00000230| 65 20 7b 31 39 39 34 2f | 30 32 2f 32 38 7d 0a 25 |e {1994/|02/28}.%|
|00000240| 25 20 5c 43 68 61 72 61 | 63 74 65 72 54 61 62 6c |% \Chara|cterTabl|
|00000250| 65 0a 25 25 20 20 7b 55 | 70 70 65 72 2d 63 61 73 |e.%% {U|pper-cas|
|00000260| 65 20 20 20 20 5c 41 5c | 42 5c 43 5c 44 5c 45 5c |e \A\|B\C\D\E\|
|00000270| 46 5c 47 5c 48 5c 49 5c | 4a 5c 4b 5c 4c 5c 4d 5c |F\G\H\I\|J\K\L\M\|
|00000280| 4e 5c 4f 5c 50 5c 51 5c | 52 5c 53 5c 54 5c 55 5c |N\O\P\Q\|R\S\T\U\|
|00000290| 56 5c 57 5c 58 5c 59 5c | 5a 0a 25 25 20 20 20 4c |V\W\X\Y\|Z.%% L|
|000002a0| 6f 77 65 72 2d 63 61 73 | 65 20 20 20 20 5c 61 5c |ower-cas|e \a\|
|000002b0| 62 5c 63 5c 64 5c 65 5c | 66 5c 67 5c 68 5c 69 5c |b\c\d\e\|f\g\h\i\|
|000002c0| 6a 5c 6b 5c 6c 5c 6d 5c | 6e 5c 6f 5c 70 5c 71 5c |j\k\l\m\|n\o\p\q\|
|000002d0| 72 5c 73 5c 74 5c 75 5c | 76 5c 77 5c 78 5c 79 5c |r\s\t\u\|v\w\x\y\|
|000002e0| 7a 0a 25 25 20 20 20 44 | 69 67 69 74 73 20 20 20 |z.%% D|igits |
|000002f0| 20 20 20 20 20 5c 30 5c | 31 5c 32 5c 33 5c 34 5c | \0\|1\2\3\4\|
|00000300| 35 5c 36 5c 37 5c 38 5c | 39 0a 25 25 20 20 20 45 |5\6\7\8\|9.%% E|
|00000310| 78 63 6c 61 6d 61 74 69 | 6f 6e 20 20 20 5c 21 20 |xclamati|on \! |
|00000320| 20 20 20 20 44 6f 75 62 | 6c 65 20 71 75 6f 74 65 | Doub|le quote|
|00000330| 20 20 5c 22 20 20 20 20 | 20 48 61 73 68 20 28 6e | \" | Hash (n|
|00000340| 75 6d 62 65 72 29 20 5c | 23 0a 25 25 20 20 20 44 |umber) \|#.%% D|
|00000350| 6f 6c 6c 61 72 20 20 20 | 20 20 20 20 20 5c 24 20 |ollar | \$ |
|00000360| 20 20 20 20 50 65 72 63 | 65 6e 74 20 20 20 20 20 | Perc|ent |
|00000370| 20 20 5c 25 20 20 20 20 | 20 41 6d 70 65 72 73 61 | \% | Ampersa|
|00000380| 6e 64 20 20 20 20 20 5c | 26 0a 25 25 20 20 20 41 |nd \|&.%% A|
|00000390| 63 75 74 65 20 61 63 63 | 65 6e 74 20 20 5c 27 20 |cute acc|ent \' |
|000003a0| 20 20 20 20 4c 65 66 74 | 20 70 61 72 65 6e 20 20 | Left| paren |
|000003b0| 20 20 5c 28 20 20 20 20 | 20 52 69 67 68 74 20 70 | \( | Right p|
|000003c0| 61 72 65 6e 20 20 20 5c | 29 0a 25 25 20 20 20 41 |aren \|).%% A|
|000003d0| 73 74 65 72 69 73 6b 20 | 20 20 20 20 20 5c 2a 20 |sterisk | \* |
|000003e0| 20 20 20 20 50 6c 75 73 | 20 20 20 20 20 20 20 20 | Plus| |
|000003f0| 20 20 5c 2b 20 20 20 20 | 20 43 6f 6d 6d 61 20 20 | \+ | Comma |
|00000400| 20 20 20 20 20 20 20 5c | 2c 0a 25 25 20 20 20 4d | \|,.%% M|
|00000410| 69 6e 75 73 20 20 20 20 | 20 20 20 20 20 5c 2d 20 |inus | \- |
|00000420| 20 20 20 20 50 6f 69 6e | 74 20 20 20 20 20 20 20 | Poin|t |
|00000430| 20 20 5c 2e 20 20 20 20 | 20 53 6f 6c 69 64 75 73 | \. | Solidus|
|00000440| 20 20 20 20 20 20 20 5c | 2f 0a 25 25 20 20 20 43 | \|/.%% C|
|00000450| 6f 6c 6f 6e 20 20 20 20 | 20 20 20 20 20 5c 3a 20 |olon | \: |
|00000460| 20 20 20 20 53 65 6d 69 | 63 6f 6c 6f 6e 20 20 20 | Semi|colon |
|00000470| 20 20 5c 3b 20 20 20 20 | 20 4c 65 73 73 20 74 68 | \; | Less th|
|00000480| 61 6e 20 20 20 20 20 5c | 3c 0a 25 25 20 20 20 45 |an \|<.%% E|
|00000490| 71 75 61 6c 73 20 20 20 | 20 20 20 20 20 5c 3d 20 |quals | \= |
|000004a0| 20 20 20 20 47 72 65 61 | 74 65 72 20 74 68 61 6e | Grea|ter than|
|000004b0| 20 20 5c 3e 20 20 20 20 | 20 51 75 65 73 74 69 6f | \> | Questio|
|000004c0| 6e 20 6d 61 72 6b 20 5c | 3f 0a 25 25 20 20 20 43 |n mark \|?.%% C|
|000004d0| 6f 6d 6d 65 72 63 69 61 | 6c 20 61 74 20 5c 40 20 |ommercia|l at \@ |
|000004e0| 20 20 20 20 4c 65 66 74 | 20 62 72 61 63 6b 65 74 | Left| bracket|
|000004f0| 20 20 5c 5b 20 20 20 20 | 20 42 61 63 6b 73 6c 61 | \[ | Backsla|
|00000500| 73 68 20 20 20 20 20 5c | 5c 0a 25 25 20 20 20 52 |sh \|\.%% R|
|00000510| 69 67 68 74 20 62 72 61 | 63 6b 65 74 20 5c 5d 20 |ight bra|cket \] |
|00000520| 20 20 20 20 43 69 72 63 | 75 6d 66 6c 65 78 20 20 | Circ|umflex |
|00000530| 20 20 5c 5e 20 20 20 20 | 20 55 6e 64 65 72 73 63 | \^ | Undersc|
|00000540| 6f 72 65 20 20 20 20 5c | 5f 0a 25 25 20 20 20 47 |ore \|_.%% G|
|00000550| 72 61 76 65 20 61 63 63 | 65 6e 74 20 20 5c 60 20 |rave acc|ent \` |
|00000560| 20 20 20 20 4c 65 66 74 | 20 62 72 61 63 65 20 20 | Left| brace |
|00000570| 20 20 5c 7b 20 20 20 20 | 20 56 65 72 74 69 63 61 | \{ | Vertica|
|00000580| 6c 20 62 61 72 20 20 5c | 7c 0a 25 25 20 20 20 52 |l bar \||.%% R|
|00000590| 69 67 68 74 20 62 72 61 | 63 65 20 20 20 5c 7d 20 |ight bra|ce \} |
|000005a0| 20 20 20 20 54 69 6c 64 | 65 20 20 20 20 20 20 20 | Tild|e |
|000005b0| 20 20 5c 7e 7d 0a 25 25 | 0a 25 25 20 50 61 63 6b | \~}.%%|.%% Pack|
|000005c0| 61 67 65 20 60 74 68 65 | 6f 72 65 6d 27 20 74 6f |age `the|orem' to|
|000005d0| 20 75 73 65 20 77 69 74 | 68 20 4c 61 54 65 58 32 | use wit|h LaTeX2|
|000005e0| 65 0a 25 25 20 43 6f 70 | 79 72 69 67 68 74 20 28 |e.%% Cop|yright (|
|000005f0| 43 29 20 31 39 38 39 2d | 31 39 39 34 20 46 72 61 |C) 1989-|1994 Fra|
|00000600| 6e 6b 20 4d 69 74 74 65 | 6c 62 61 63 68 2c 20 61 |nk Mitte|lbach, a|
|00000610| 6c 6c 20 72 69 67 68 74 | 73 20 72 65 73 65 72 76 |ll right|s reserv|
|00000620| 65 64 2e 0a 25 25 0a 25 | 25 20 46 6f 72 20 65 72 |ed..%%.%|% For er|
|00000630| 72 6f 72 20 72 65 70 6f | 72 74 73 20 66 6f 72 20 |ror repo|rts for |
|00000640| 55 4e 43 48 41 4e 47 45 | 44 20 76 65 72 73 69 6f |UNCHANGE|D versio|
|00000650| 6e 73 20 73 65 65 20 72 | 65 61 64 6d 65 2e 74 78 |ns see r|eadme.tx|
|00000660| 74 2e 0a 25 25 20 20 20 | 54 68 65 20 6e 65 78 74 |t..%% |The next|
|00000670| 20 66 65 77 20 6c 69 6e | 65 73 20 64 65 66 69 6e | few lin|es defin|
|00000680| 65 20 74 68 65 6f 72 65 | 6d 20 73 65 74 73 20 77 |e theore|m sets w|
|00000690| 68 69 63 68 20 61 72 65 | 20 75 73 65 64 0a 25 25 |hich are| used.%%|
|000006a0| 20 20 20 69 6e 20 74 68 | 65 20 65 78 61 6d 70 6c | in th|e exampl|
|000006b0| 65 20 73 65 63 74 69 6f | 6e 20 6f 66 20 74 68 65 |e sectio|n of the|
|000006c0| 20 64 6f 63 75 6d 65 6e | 74 61 74 69 6f 6e 2e 0a | documen|tation..|
|000006d0| 5c 62 65 67 69 6e 67 72 | 6f 75 70 20 5c 6d 61 6b |\begingr|oup \mak|
|000006e0| 65 61 74 6c 65 74 74 65 | 72 0a 5c 40 69 66 75 6e |eatlette|r.\@ifun|
|000006f0| 64 65 66 69 6e 65 64 7b | 74 68 65 6f 72 65 6d 40 |defined{|theorem@|
|00000700| 73 74 79 6c 65 7d 7b 5c | 69 6e 70 75 74 7b 74 68 |style}{\|input{th|
|00000710| 65 6f 72 65 6d 2e 73 74 | 79 7d 7d 7b 7d 0a 5c 50 |eorem.st|y}}{}.\P|
|00000720| 72 6f 76 69 64 65 73 46 | 69 6c 65 7b 74 68 6d 62 |rovidesF|ile{thmb|
|00000730| 2e 73 74 79 7d 0a 20 20 | 20 20 20 20 20 20 20 20 |.sty}. | |
|00000740| 20 20 20 5b 5c 66 69 6c | 65 64 61 74 65 5c 73 70 | [\fil|edate\sp|
|00000750| 61 63 65 20 54 68 65 6f | 72 65 6d 20 6c 61 79 6f |ace Theo|rem layo|
|00000760| 75 74 20 73 74 79 6c 65 | 20 5c 66 69 6c 65 76 65 |ut style| \fileve|
|00000770| 72 73 69 6f 6e 5d 0a 5c | 77 6c 6f 67 7b 54 68 65 |rsion].\|wlog{The|
|00000780| 6f 72 65 6d 20 6c 61 79 | 6f 75 74 3a 20 60 74 68 |orem lay|out: `th|
|00000790| 65 6f 72 65 6d 2d 6d 61 | 72 67 69 6e 2d 62 72 65 |eorem-ma|rgin-bre|
|000007a0| 61 6b 27 20 5c 66 69 6c | 65 76 65 72 73 69 6f 6e |ak' \fil|eversion|
|000007b0| 20 5c 73 70 61 63 65 0a | 20 20 20 20 20 20 20 20 | \space.| |
|000007c0| 20 3c 5c 66 69 6c 65 64 | 61 74 65 3e 20 20 28 46 | <\filed|ate> (F|
|000007d0| 4d 69 29 7d 0a 5c 67 64 | 65 66 5c 74 68 40 6d 61 |Mi)}.\gd|ef\th@ma|
|000007e0| 72 67 69 6e 62 72 65 61 | 6b 7b 5c 6e 6f 72 6d 61 |rginbrea|k{\norma|
|000007f0| 6c 66 6f 6e 74 5c 73 6c | 73 68 61 70 65 0a 20 20 |lfont\sl|shape. |
|00000800| 5c 64 65 66 5c 40 62 65 | 67 69 6e 74 68 65 6f 72 |\def\@be|gintheor|
|00000810| 65 6d 23 23 31 23 23 32 | 7b 5c 69 74 65 6d 0a 20 |em##1##2|{\item. |
|00000820| 20 20 20 20 20 20 5b 5c | 72 6c 61 70 7b 5c 76 62 | [\|rlap{\vb|
|00000830| 6f 78 7b 5c 74 68 65 6f | 72 65 6d 40 68 65 61 64 |ox{\theo|rem@head|
|00000840| 65 72 66 6f 6e 74 0a 20 | 20 20 20 20 20 20 20 20 |erfont. | |
|00000850| 20 20 20 20 20 20 20 20 | 20 20 20 5c 68 62 6f 78 | | \hbox|
|00000860| 7b 5c 6c 6c 61 70 7b 23 | 23 32 7d 5c 68 73 6b 69 |{\llap{#|#2}\hski|
|00000870| 70 5c 6c 61 62 65 6c 73 | 65 70 20 23 23 31 7d 25 |p\labels|ep ##1}%|
|00000880| 0a 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |. | |
|00000890| 20 20 20 20 20 5c 68 62 | 6f 78 7b 5c 73 74 72 75 | \hb|ox{\stru|
|000008a0| 74 7d 7d 7d 5d 7d 25 0a | 5c 64 65 66 5c 40 6f 70 |t}}}]}%.|\def\@op|
|000008b0| 61 72 67 62 65 67 69 6e | 74 68 65 6f 72 65 6d 23 |argbegin|theorem#|
|000008c0| 23 31 23 23 32 23 23 33 | 7b 25 0a 20 20 5c 69 74 |#1##2##3|{%. \it|
|000008d0| 65 6d 5b 5c 72 6c 61 70 | 7b 5c 76 62 6f 78 7b 5c |em[\rlap|{\vbox{\|
|000008e0| 74 68 65 6f 72 65 6d 40 | 68 65 61 64 65 72 66 6f |theorem@|headerfo|
|000008f0| 6e 74 0a 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |nt. | |
|00000900| 20 20 20 20 20 20 20 5c | 68 62 6f 78 7b 5c 6c 6c | \|hbox{\ll|
|00000910| 61 70 7b 23 23 32 7d 5c | 68 73 6b 69 70 5c 6c 61 |ap{##2}\|hskip\la|
|00000920| 62 65 6c 73 65 70 20 23 | 23 31 5c 20 28 23 23 33 |belsep #|#1\ (##3|
|00000930| 29 7d 25 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |)}%. | |
|00000940| 20 20 20 20 20 20 20 20 | 5c 68 62 6f 78 7b 5c 73 | |\hbox{\s|
|00000950| 74 72 75 74 7d 7d 7d 5d | 7d 7d 0a 5c 65 6e 64 67 |trut}}}]|}}.\endg|
|00000960| 72 6f 75 70 0a 0a 5c 65 | 6e 64 69 6e 70 75 74 0a |roup..\e|ndinput.|
|00000970| 25 25 20 0a 25 25 20 45 | 6e 64 20 6f 66 20 66 69 |%% .%% E|nd of fi|
|00000980| 6c 65 20 60 74 68 6d 62 | 2e 73 74 79 27 2e 0a |le `thmb|.sty'.. |
+--------+-------------------------+-------------------------+--------+--------+
